general purpose macro-generatorgeneral recursion theorem : FOLDOC

翻訳と辞書

Words near each other

Dictionary Lists

mini英和辞書

翻訳と辞書　辞書検索 [ 開発暫定版 ]

スポンサードリンク

general purpose macro-generatorgeneral recursion theorem ： FOLDOC

General Recursion Theorem
Cantor's {theorem}, originally stated for {ordinals}, which extends {inductive} proof to recursive construction. The proof is by pasting together "attempts" (partial solutions).
[Better explanation?]
(1995-06-15)

スポンサードリンク

翻訳と辞書 : 翻訳のためのインターネットリソース